1.19/3.70	unsat
