4.00/6.07	unsat
