753.47/756.75	unsat
