1.39/3.65	unsat
