645.76/647.15	unsat
