231.46/231.47	unsat
