4.77/7.00	unsat
