10.48/10.73	unsat
