1.98/6.89	unsat
