5.47/7.11	unsat
