5.47/5.52	unsat
