662.48/663.97	unsat
