2.89/9.70	unsat
