9.19/10.89	unsat
