4.98/6.58	unsat
