1.49/1.65	unsat
