1.48/8.10	unsat
