1.08/3.70	unsat
