8.86/10.28	unsat
