6.98/8.43	unsat
