1.24/3.70	unsat
