5.47/5.79	unsat
