6.48/9.38	unsat
