0.89/0.96	unsat
