0.49/0.65	unsat
