5.98/8.19	unsat
