781.50/786.26	unsat
