746.95/747.64	unsat
