5.09/7.00	unsat
