774.36/776.50	unsat
