5.00/6.29	unsat
