31.24/35.76	unsat
