754.19/757.80	unsat
