4.98/6.29	unsat
