6.98/7.03	unsat
