5.73/7.32	unsat
