8.86/10.24	unsat
