6.49/9.54	unsat
