6.48/9.11	unsat
