4.36/6.00	unsat
