0.79/0.82	unsat
