3.18/5.70	unsat
