647.31/647.92	unsat
