640.69/644.94	unsat
