10.34/10.49	unsat
