0.67/0.79	unsat
