782.71/784.56	unsat
