5.98/8.03	unsat
