5.98/6.03	unsat
