731.24/732.30	unsat
