5.47/7.79	unsat
