669.74/672.40	unsat
