4.89/7.70	unsat
