0.67/0.75	unsat
