8.86/10.19	unsat
