770.33/773.50	unsat
