757.48/760.67	unsat
