793.81/797.77	unsat
