841.29/843.01	unsat
