644.57/647.68	unsat
