771.15/773.00	unsat
