4.98/6.42	unsat
