660.58/663.34	unsat
