8.86/10.23	unsat
