730.50/732.80	unsat
