5.47/6.18	unsat
