6.04/8.90	unsat
