756.02/759.84	unsat
