10.27/10.49	unsat
