770.83/773.37	unsat
