5.61/5.79	unsat
