4.98/6.30	unsat
