4.41/6.00	unsat
