781.81/786.77	unsat
