29.28/31.76	unsat
