1.28/3.70	unsat
