673.47/675.71	unsat
