841.73/845.25	unsat
