4.27/7.00	unsat
