1.49/5.65	unsat
