226.71/228.47	unsat
