758.42/762.24	unsat
