31.10/31.42	unsat
