6.48/11.10	unsat
