5.47/6.26	unsat
