9.77/10.90	unsat
