1.02/3.65	unsat
