10.88/10.94	unsat
