5.47/5.63	unsat
