5.47/6.13	unsat
