0.72/0.96	unsat
