10.87/10.94	unsat
