5.47/7.54	unsat
