9.77/10.73	unsat
