31.19/31.33	unsat
