4.89/7.00	unsat
