1.48/3.70	unsat
