4.47/6.11	unsat
