5.98/6.43	unsat
